Stichworte: Double entrenchment example